Install missing hvm public headers.
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 18 Mar 2008 13:11:43 +0000 (13:11 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 18 Mar 2008 13:11:43 +0000 (13:11 +0000)
commitd375fff68c772ea29a430596b3d247a4f7e60f78
tree0b742cf1760d0c59abd0f17c707f6377a2e29581
parent4313213ee3929e669b21e8dc6df8b5dae0c9d428
Install missing hvm public headers.

Signed-off-by: Ben Guthro <bguthro@virtualiron.com>
tools/include/Makefile